Machine structure oriented control code logic
نویسندگان
چکیده
منابع مشابه
Informal Control code logic
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code testing is sought and found, for the case of safety critical embedded control code.
متن کاملHoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of realistically modelled machine code. Many ad hoc restrictions and features present in real machine-code are handled, including finite memory, data and code in the same memory space, the behavior of status registers and ha...
متن کاملMachine Function Based Control Code Algebras
Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]. Machine functions describe the operation of a machine at a very abstract level. A theory of hardware and software based on machine functions may be called a machine function theory, or alternatively when focusing on inputs and...
متن کاملMachine Learning Based Source Code Classification Using Syntax Oriented Features
As of today the programming language of the vast majority of the published source code is manually specified or programmatically assigned based on the sole file extension. In this paper we show that the source code programming language identification task can be fully automated using machine learning techniques. We first define the criteria that a production-level automatic programming language...
متن کاملFuzzy Logic Enhanced Speed Control of an Indirect Field Oriented Induction Machine Drive
Field orientation control (FOC) of induction machines has permitted fast transient response b y decoupled torque and f lux control. However, f ie ld oraentation detuning caused by parameter variations is a major dificulty for indirect FOC methods. Traditional P ID controlkrs have trouble meeting a wade ranye of tracking performance even when proper field orientation i s achieved. P I D performa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2009
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-009-0099-2